(set-info :status sat)
(set-logic QF_UFLRA)
(declare-fun x () Real)
(declare-fun f (Real) Real)
(assert (>= (+ x (f x)) 0))
(check-sat)
